package model.solver;

/**
 * Status of a solver execution.
 * @author stephane
 *
 */
public enum SolverResultStatus {
	TIMEOUT_REACHED("Problem : timeout has been reached"),
	SATISFIABLE("SATISFIABLE : the CNF is satisfiable !"),
	PROBLEM("Error : a probleme occured during the operation"),
	UNSATISFIABLE("The CNF is unsatisfiable !");
		
	public String getDescription() {
		return description;
	}

	private String description;
	
	private SolverResultStatus(String description){
		this.description = description;
	}
}
